algebraic axiom

代数公理